algorithmic program造句
造句與例句
手機(jī)版
- Developing correct and efficient algorithmic programs has become a key topic in the computer science community
為了更好地解決這兩個(gè)至關(guān)重要的問題，par方法應(yīng)運(yùn)而生。 - Formal development of correct and efficient algorithmic programs is at the heart of the research in the field of the formal method
有效解決“軟件危機(jī)”的一種重要途徑是使用形式化方法來開發(fā)軟件產(chǎn)品。 - Herein, we proposed that the software reuse technique based on algorithmic framework is to formal deduce from algorithmic program and get its abstract algorithm by using the par method proposed by professor xue jingyun
本文提出的基于算法框架的軟件設(shè)計(jì)及分析復(fù)用技術(shù)是利用薛錦云教授提出的par方法，對(duì)算法程序進(jìn)行形式化推導(dǎo)，得到其抽象算法。 - Par is a practical environment for formal development of algorithmic programs, which is proposed by professor xue . it is based on the research of the projects supported by the national natural science foundation of china
薛錦云教授在國(guó)家863和多項(xiàng)國(guó)家自然科學(xué)基金的資助下，根據(jù)多年從事算法程序設(shè)計(jì)理論研究的成果，提出了一種實(shí)用的開發(fā)和證明算法的方法??par。 - It's difficult to see algorithmic program in a sentence. 用algorithmic program造句挺難的
如何用algorithmic program造句，用algorithmic program造句，algorithmic program in a sentence, 用algorithmic program造句和algorithmic program的例句由查查漢語詞典提供，版權(quán)所有違者必究。